differential embedding

[數] 微分嵌入